contemporary abstract algebra solution